Nondeterminism: Unsafe?
نویسندگان
چکیده
A class of software is identified where a nondeterminism analysis is not inherently less safe than a deterministic analysis. Tools built for that class of software can be simple to build, fast to run, and scale to very large problems. An examples of one such tool is discussed here.
منابع مشابه
Quantifying Nondeterminism in Finite Automata
Various ways of quantifying the nondeterminism in finite automata have been considered since the 1970’s. Roughly speaking, a nondeterminism measure can count the number of accepting computations (ambiguity), the number of all computations (computation width) or the amount of nondeterminism on a single best (or worst) computation on a given input. This paper surveys results on the growth rate of...
متن کاملLiving with Nondeterminism in Replicated Middleware Applications
Application-level nondeterminism can lead to inconsistent state that defeats the purpose of replication as a fault-tolerance strategy. We present Midas, a new approach for living with nondeterminism in distributed, replicated, middleware applications. Midas exploits (i) the static program analysis of the application’s source code prior to replica deployment and (ii) the online compensation of r...
متن کاملLinear-Nondeterminism Linear Advice for the P-Selective Sets
Hemaspaandra and Torenvliet showed that each P-selective set can be accepted by a polynomial-time nondeterministic machine using linear advice and quasilinear nondeterminism. We extend this by showing that each P-selective set can be accepted by a polynomial-time nondeterministic machine using linear advice and linear nondeterminism.
متن کاملBenchmark Precision and Random Initial State
The applications of software benchmarks place an obvious demand on the precision of the benchmark results. An intu itive and frequently employed approach to obtaining precise enough benchmark results is having the benchmark collect a large number of samples that are simply averaged or other wise statistically processed. We show that this approach ignores an inherent and unavoidable nondetermi...
متن کاملApparent Nondeterminism in Actions
Nondeterminism has a central role in computer science, and poses difficulties for many formalisations of domain knowledge in artificial intelligence. In particular, the nondeterminism of actions often complicate the formal treatments of actions. This paper elucidates some possible sources of nondeterminism in theories of actions. The emphasis is on how nondeterminism may arise from inadequacies...
متن کامل